model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
The Joyal- model structure on simplicial sheaves over a site is a model category presentation of the hypercomplete (∞,1)-topos over that site.
It is Quillen equivalent to the Jardine-local model structure on simplicial presheaves.
There is also a Čech model structure on simplicial sheaves (see there) modelling not the hypercompletion but just the topological localization of the (∞,1)-category of (∞,1)-presheaves.
Let be a small site. Write for the category of sheaves on and for the category of simplicial objects in : the category of simplicial sheaves over .
There is a left proper simplicially enriched model category structure on such that
cofibrations are precisely the objectwise cofibrations (monomorphisms) of simplicial sets;
weak equivalences are the local weak equivalences of the underlying simplicial presheaves as defined at model structure on simplicial presheaves.
This is (Jardine, theorem 5).
Call this the local injective model structure on simplicial sheaves.
The geometric embedding of a category of sheaves into its category of presheaves
with given by sheafification extends to a Quillen equivalence
between the above local model structure on simplicial sheaves and the injective hyperlocal Jardine-model structure on simplicial presheaves.
This is (Jardine, theorem 5).
The simplicial combinatorial model category is a presentation for the hypercompletion of the (∞,1)-category of (∞,1)-sheaves on :
The proof is spelled out at hypercomplete (∞,1)-topos.
For a dense sub-site of we have an equivalence of (∞,1)-categories
By the comparison lemma at dense sub-site we have already an equivalence of categories
This implies the claim with the above proposition.
The local model structure on simplicial sheaves was proposed in
This is, with BrownAHT, among the first proposals for models for ∞-stacks which eventually came to be used in the theory of (∞,1)-toposes.
Discussion of the model structure:
Jardine’s lectures
discuss the Quillen equivalence between the model structure on simplicial sheaves and the model structure on simplicial presheaves.
Wendt discusses “the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves” in
Last revised on June 19, 2022 at 13:55:02. See the history of this page for a list of all contributions to it.